home *** CD-ROM | disk | FTP | other *** search
/ Personal Computer World 2007 September / PCWSEP07.iso / Software / Linux / Linux Mint 3.0 Light / LinuxMint-3.0-Light.iso / casper / filesystem.squashfs / usr / share / doc / gcc-4.1-base / copyright < prev    next >
Encoding:
Text File  |  2007-03-02  |  31.5 KB  |  633 lines

  1. This is the Debian GNU/Linux prepackaged version of the GNU compiler
  2. collection, containing Ada, C, C++, Fortran 95, Java, Objective-C,
  3. Objective-C++, and Treelang compilers, documentation, and support
  4. libraries.  In addition, Debian provides the GNU Pascal compiler in the
  5. same source package.  Packaging is done by the Debian GCC Maintainers
  6. <debian-gcc@lists.debian.org>, with sources obtained from:
  7.  
  8.   ftp://gcc.gnu.org/pub/gcc/releases/  (for full releases)
  9.   svn://gcc.gnu.org/svn/gcc/           (for prereleases)
  10.   http://gnu-pascal.de/alpha/          (for GNU Pascal)
  11.  
  12. Changes: See changelog.Debian.gz
  13.  
  14. Debian splits the GNU Compiler Collection into packages for each language,
  15. library, and documentation as follows:
  16.  
  17. Language       Compiler package  Library package    Documentation
  18. ---------------------------------------------------------------------------
  19. Ada            gnat-4.1          libgnat-4.1        gnat-4.1-doc
  20. C              gcc-4.1                              gcc-4.1-doc
  21. C++            g++-4.1           libstdc++6         libstdc++6-4.1-doc
  22. Fortran 95     gfortran-4.1      libgfortran1       gfortran-4.1-doc
  23. Java           gcj-4.1           libgcj7            libgcj-doc
  24. Objective C    gobjc-4.1         libobjc1
  25. Objective C++  gobjc++-4.1
  26. Pascal         gpc-4.1
  27. Treelang       treelang-4.1
  28.  
  29. For some language run-time libraries, Debian provides source files,
  30. development files, debugging symbols and libraries containing position-
  31. independent code in separate packages:
  32.  
  33. Language  Sources     Development  Debugging           Position-Independent
  34. ---------------------------------------------------------------------------
  35. C++                                libstdc++6-4.1-dbg  libstdc++6-4.1-pic
  36. Java      libgcj7-src libgcj7-dev  libgcj7-dbg
  37.  
  38. Additional packages include:
  39.  
  40. All languages:
  41. libgcc1, libgcc2, libgcc4       GCC intrinsics (platform-dependent)
  42. libffi4-dev, libffi4            Foreign Function Interface library
  43. gcc-4.1-base                    Base files common to all compilers
  44. gcc-4.1-soft-float              Software floating point (ARM only)
  45. gcc-4.1-source                  The sources with patches
  46.  
  47. Ada:
  48. libgnatvsn-dev, libgnatvsn4.1   GNAT version library
  49. libgnatprj-dev, libgnatprj4.1   GNAT Project Manager library
  50.  
  51. C:
  52. cpp-4.1, cpp-4.1-doc            GNU C Preprocessor
  53. libmudflap0-dev, libmudflap0    Library for instrumenting pointers
  54. libssp0-dev, libssp0            GCC stack smashing protection library
  55. fixincludes                     Fix non-ANSI header files
  56. protoize                        Create/remove ANSI prototypes from C code
  57.  
  58. Java:
  59. fastjar                         Jar creation utility
  60. gij                             The Java bytecode interpreter and VM
  61. libgcj-common                   Common files for the Java run-time
  62. libgcj7-awt                     The Abstract Windowing Toolkit
  63. libgcj7-jar                     Java ARchive for the Java run-time
  64.  
  65. Biarch support: On some 64-bit platforms which can also run 32-bit code,
  66. Debian provides additional packages containing 32-bit versions of some
  67. libraries.  These packages have names beginning with 'lib32' instead of
  68. 'lib', for example lib32stdc++6.  Similarly, on some 32-bit platforms which
  69. can also run 64-bit code, Debian provides additional packages with names
  70. beginning with 'lib64' instead of 'lib'.  These packages contain 64-bit
  71. versions of the libraries.  (At this time, not all platforms and not all
  72. libraries support biarch.)  The license terms for these lib32 or lib64
  73. packages are identical to the ones for the lib packages.
  74.  
  75.  
  76. COPYRIGHT STATEMENTS AND LICENSING TERMS
  77.  
  78.  
  79. GCC is Copyright (C) 1986, 1987, 1988, 1989, 1990, 1991, 1992, 1993, 1994,
  80. 1995, 1996, 1997, 1998, 1999, 2000, 2001, 2002, 2003, 2004, 2005, 2006
  81. Free Software Foundation, Inc.
  82.  
  83. This program is free software; you can redistribute it and/or modify it
  84. under the terms of the GNU General Public License as published by the
  85. Free Software Foundation; either version 2, or (at your option) any
  86. later version.
  87.  
  88. This program is distributed in the hope that it will be useful,
  89. but WITHOUT ANY WARRANTY; without even the implied warranty of
  90. MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the
  91. GNU General Public License for more details.
  92.  
  93. You should have received a copy of the GNU General Public License
  94. along with this program; if not, write to the Free Software
  95. Foundation, Inc., 51 Franklin St, Fifth Floor, Boston, MA 02110-1301, USA.
  96.  
  97. On Debian GNU/Linux systems, the complete text of the GNU General
  98. Public License is in `/usr/share/common-licenses/GPL'.
  99.  
  100. The libstdc++-v3 library is licensed under the terms of the GNU General
  101. Public License, with this special exception:
  102.  
  103.    As a special exception, you may use this file as part of a free software
  104.    library without restriction.  Specifically, if other files instantiate
  105.    templates or use macros or inline functions from this file, or you compile
  106.    this file and link it with other files to produce an executable, this
  107.    file does not by itself cause the resulting executable to be covered by
  108.    the GNU General Public License.  This exception does not however
  109.    invalidate any other reasons why the executable file might be covered by
  110.    the GNU General Public License.
  111.  
  112. The libgnat-4.1 Ada support library and libgnatvsn are licensed under the
  113. terms of the GNU General Public License, with this special exception:
  114.  
  115.    As a special exception, if other files instantiate generics from this
  116.    unit, or you link this unit with other files to produce an executable,
  117.    this unit does not by itself cause the resulting executable to be
  118.    covered by the GNU General Public License. This exception does not
  119.    however invalidate any other reasons why the executable file might be
  120.    covered by the GNU Public License.
  121.  
  122. In contrast, libgnatprj is licensed under the terms of the pure GNU
  123. General Public License.
  124.  
  125. gpc is copyright Free Software Foundation, and is licensed under the
  126. GNU General Public License which on Debian GNU/Linux systems can be
  127. found as `/usr/share/common-licenses/GPL'.
  128.  
  129. The gpc runtime library is licensed under the terms of the GNU General
  130. Public License, with this special exception:
  131.  
  132.   As a special exception, if you link this file with files compiled
  133.   with a GNU compiler to produce an executable, this does not cause
  134.   the resulting executable to be covered by the GNU General Public
  135.   License. This exception does not however invalidate any other
  136.   reasons why the executable file might be covered by the GNU
  137.   General Public License. }
  138.  
  139. The libgcj library is licensed under the terms of the GNU General
  140. Public License, with a special exception:
  141.  
  142.     Linking this library statically or dynamically with other modules
  143.     is making a combined work based on this library.  Thus, the terms
  144.     and conditions of the GNU General Public License cover the whole
  145.     combination.
  146.  
  147.     As a special exception, the copyright holders of this library give
  148.     you permission to link this library with independent modules to
  149.     produce an executable, regardless of the license terms of these
  150.     independent modules, and to copy and distribute the resulting
  151.     executable under terms of your choice, provided that you also
  152.     meet, for each linked independent module, the terms and conditions
  153.     of the license of that module.  An independent module is a module
  154.     which is not derived from or based on this library.  If you modify
  155.     this library, you may extend this exception to your version of the
  156.     library, but you are not obligated to do so.  If you do not wish
  157.     to do so, delete this exception statement from your version.
  158.  
  159. gcc/libgcc2.c (source for libgcc) has the following addition:
  160.  
  161.     In addition to the permissions in the GNU General Public License,
  162.     the Free Software Foundation gives you unlimited permission to
  163.     link the compiled version of this file into combinations with
  164.     other programs, and to distribute those combinations without any
  165.     restriction coming from the use of this file.  (The General Public
  166.     License restrictions do apply in other respects; for example, they
  167.     cover modification of the file, and distribution when not linked
  168.     into a combine executable.)
  169.  
  170. gcc/unwind-libunwind.c (source for libgcc) has the following addition:
  171.  
  172.     As a special exception, if you link this library with other files,
  173.     some of which are compiled with GCC, to produce an executable,
  174.     this library does not by itself cause the resulting executable to
  175.     be covered by the GNU General Public License.  This exception does
  176.     not however invalidate any other reasons why the executable file
  177.     might be covered by the GNU General Public License.
  178.  
  179. The mudflap library is licensed under the terms of the GNU General
  180. Public License, and has the following addition:
  181.  
  182.     In addition to the permissions in the GNU General Public License,
  183.     the Free Software Foundation gives you unlimited permission to
  184.     link the compiled version of this file into combinations with
  185.     other programs, and to distribute those combinations without any
  186.     restriction coming from the use of this file.  (The General Public
  187.     License restrictions do apply in other respects; for example, they
  188.     cover modification of the file, and distribution when not linked
  189.     into a combine executable.)
  190.  
  191. The ssp library is licensed under the terms of the GNU General
  192. Public License, with a special exception:
  193.  
  194.     As a special exception, if you link this library with other files,
  195.     some of which are compiled with GCC, to produce an executable,
  196.     this library does not by itself cause the resulting executable to
  197.     be covered by the GNU General Public License.  This exception does
  198.     not however invalidate any other reasons why the executable file
  199.     might be covered by the GNU General Public License.
  200.  
  201.  
  202. The documentation is licensed under the GNU Free Documentation License
  203. (v1.2), appended at the end of this file.
  204.  
  205.  
  206. GNU Free Documentation License
  207. ******************************
  208.  
  209.                       Version 1.2, November 2002
  210.      Copyright (C) 2000,2001,2002 Free Software Foundation, Inc.
  211.      51 Franklin St, Fifth Floor, Boston, MA 02110-1301, USA.
  212.  
  213.      Everyone is permitted to copy and distribute verbatim copies
  214.      of this license document, but changing it is not allowed.
  215.  
  216.   0. PREAMBLE
  217.  
  218.      The purpose of this License is to make a manual, textbook, or other
  219.      functional and useful document "free" in the sense of freedom: to
  220.      assure everyone the effective freedom to copy and redistribute it,
  221.      with or without modifying it, either commercially or
  222.      noncommercially.  Secondarily, this License preserves for the
  223.      author and publisher a way to get credit for their work, while not
  224.      being considered responsible for modifications made by others.
  225.  
  226.      This License is a kind of "copyleft", which means that derivative
  227.      works of the document must themselves be free in the same sense.
  228.      It complements the GNU General Public License, which is a copyleft
  229.      license designed for free software.
  230.  
  231.      We have designed this License in order to use it for manuals for
  232.      free software, because free software needs free documentation: a
  233.      free program should come with manuals providing the same freedoms
  234.      that the software does.  But this License is not limited to
  235.      software manuals; it can be used for any textual work, regardless
  236.      of subject matter or whether it is published as a printed book.
  237.      We recommend this License principally for works whose purpose is
  238.      instruction or reference.
  239.  
  240.   1. APPLICABILITY AND DEFINITIONS
  241.  
  242.      This License applies to any manual or other work, in any medium,
  243.      that contains a notice placed by the copyright holder saying it
  244.      can be distributed under the terms of this License.  Such a notice
  245.      grants a world-wide, royalty-free license, unlimited in duration,
  246.      to use that work under the conditions stated herein.  The
  247.      "Document", below, refers to any such manual or work.  Any member
  248.      of the public is a licensee, and is addressed as "you".  You
  249.      accept the license if you copy, modify or distribute the work in a
  250.      way requiring permission under copyright law.
  251.  
  252.      A "Modified Version" of the Document means any work containing the
  253.      Document or a portion of it, either copied verbatim, or with
  254.      modifications and/or translated into another language.
  255.  
  256.      A "Secondary Section" is a named appendix or a front-matter section
  257.      of the Document that deals exclusively with the relationship of the
  258.      publishers or authors of the Document to the Document's overall
  259.      subject (or to related matters) and contains nothing that could
  260.      fall directly within that overall subject.  (Thus, if the Document
  261.      is in part a textbook of mathematics, a Secondary Section may not
  262.      explain any mathematics.)  The relationship could be a matter of
  263.      historical connection with the subject or with related matters, or
  264.      of legal, commercial, philosophical, ethical or political position
  265.      regarding them.
  266.  
  267.      The "Invariant Sections" are certain Secondary Sections whose
  268.      titles are designated, as being those of Invariant Sections, in
  269.      the notice that says that the Document is released under this
  270.      License.  If a section does not fit the above definition of
  271.      Secondary then it is not allowed to be designated as Invariant.
  272.      The Document may contain zero Invariant Sections.  If the Document
  273.      does not identify any Invariant Sections then there are none.
  274.  
  275.      The "Cover Texts" are certain short passages of text that are
  276.      listed, as Front-Cover Texts or Back-Cover Texts, in the notice
  277.      that says that the Document is released under this License.  A
  278.      Front-Cover Text may be at most 5 words, and a Back-Cover Text may
  279.      be at most 25 words.
  280.  
  281.      A "Transparent" copy of the Document means a machine-readable copy,
  282.      represented in a format whose specification is available to the
  283.      general public, that is suitable for revising the document
  284.      straightforwardly with generic text editors or (for images
  285.      composed of pixels) generic paint programs or (for drawings) some
  286.      widely available drawing editor, and that is suitable for input to
  287.      text formatters or for automatic translation to a variety of
  288.      formats suitable for input to text formatters.  A copy made in an
  289.      otherwise Transparent file format whose markup, or absence of
  290.      markup, has been arranged to thwart or discourage subsequent
  291.      modification by readers is not Transparent.  An image format is
  292.      not Transparent if used for any substantial amount of text.  A
  293.      copy that is not "Transparent" is called "Opaque".
  294.  
  295.      Examples of suitable formats for Transparent copies include plain
  296.      ASCII without markup, Texinfo input format, LaTeX input format,
  297.      SGML or XML using a publicly available DTD, and
  298.      standard-conforming simple HTML, PostScript or PDF designed for
  299.      human modification.  Examples of transparent image formats include
  300.      PNG, XCF and JPG.  Opaque formats include proprietary formats that
  301.      can be read and edited only by proprietary word processors, SGML or
  302.      XML for which the DTD and/or processing tools are not generally
  303.      available, and the machine-generated HTML, PostScript or PDF
  304.      produced by some word processors for output purposes only.
  305.  
  306.      The "Title Page" means, for a printed book, the title page itself,
  307.      plus such following pages as are needed to hold, legibly, the
  308.      material this License requires to appear in the title page.  For
  309.      works in formats which do not have any title page as such, "Title
  310.      Page" means the text near the most prominent appearance of the
  311.      work's title, preceding the beginning of the body of the text.
  312.  
  313.      A section "Entitled XYZ" means a named subunit of the Document
  314.      whose title either is precisely XYZ or contains XYZ in parentheses
  315.      following text that translates XYZ in another language.  (Here XYZ
  316.      stands for a specific section name mentioned below, such as
  317.      "Acknowledgements", "Dedications", "Endorsements", or "History".)
  318.      To "Preserve the Title" of such a section when you modify the
  319.      Document means that it remains a section "Entitled XYZ" according
  320.      to this definition.
  321.  
  322.      The Document may include Warranty Disclaimers next to the notice
  323.      which states that this License applies to the Document.  These
  324.      Warranty Disclaimers are considered to be included by reference in
  325.      this License, but only as regards disclaiming warranties: any other
  326.      implication that these Warranty Disclaimers may have is void and
  327.      has no effect on the meaning of this License.
  328.  
  329.   2. VERBATIM COPYING
  330.  
  331.      You may copy and distribute the Document in any medium, either
  332.      commercially or noncommercially, provided that this License, the
  333.      copyright notices, and the license notice saying this License
  334.      applies to the Document are reproduced in all copies, and that you
  335.      add no other conditions whatsoever to those of this License.  You
  336.      may not use technical measures to obstruct or control the reading
  337.      or further copying of the copies you make or distribute.  However,
  338.      you may accept compensation in exchange for copies.  If you
  339.      distribute a large enough number of copies you must also follow
  340.      the conditions in section 3.
  341.  
  342.      You may also lend copies, under the same conditions stated above,
  343.      and you may publicly display copies.
  344.  
  345.   3. COPYING IN QUANTITY
  346.  
  347.      If you publish printed copies (or copies in media that commonly
  348.      have printed covers) of the Document, numbering more than 100, and
  349.      the Document's license notice requires Cover Texts, you must
  350.      enclose the copies in covers that carry, clearly and legibly, all
  351.      these Cover Texts: Front-Cover Texts on the front cover, and
  352.      Back-Cover Texts on the back cover.  Both covers must also clearly
  353.      and legibly identify you as the publisher of these copies.  The
  354.      front cover must present the full title with all words of the
  355.      title equally prominent and visible.  You may add other material
  356.      on the covers in addition.  Copying with changes limited to the
  357.      covers, as long as they preserve the title of the Document and
  358.      satisfy these conditions, can be treated as verbatim copying in
  359.      other respects.
  360.  
  361.      If the required texts for either cover are too voluminous to fit
  362.      legibly, you should put the first ones listed (as many as fit
  363.      reasonably) on the actual cover, and continue the rest onto
  364.      adjacent pages.
  365.  
  366.      If you publish or distribute Opaque copies of the Document
  367.      numbering more than 100, you must either include a
  368.      machine-readable Transparent copy along with each Opaque copy, or
  369.      state in or with each Opaque copy a computer-network location from
  370.      which the general network-using public has access to download
  371.      using public-standard network protocols a complete Transparent
  372.      copy of the Document, free of added material.  If you use the
  373.      latter option, you must take reasonably prudent steps, when you
  374.      begin distribution of Opaque copies in quantity, to ensure that
  375.      this Transparent copy will remain thus accessible at the stated
  376.      location until at least one year after the last time you
  377.      distribute an Opaque copy (directly or through your agents or
  378.      retailers) of that edition to the public.
  379.  
  380.      It is requested, but not required, that you contact the authors of
  381.      the Document well before redistributing any large number of
  382.      copies, to give them a chance to provide you with an updated
  383.      version of the Document.
  384.  
  385.   4. MODIFICATIONS
  386.  
  387.      You may copy and distribute a Modified Version of the Document
  388.      under the conditions of sections 2 and 3 above, provided that you
  389.      release the Modified Version under precisely this License, with
  390.      the Modified Version filling the role of the Document, thus
  391.      licensing distribution and modification of the Modified Version to
  392.      whoever possesses a copy of it.  In addition, you must do these
  393.      things in the Modified Version:
  394.  
  395.        A. Use in the Title Page (and on the covers, if any) a title
  396.           distinct from that of the Document, and from those of
  397.           previous versions (which should, if there were any, be listed
  398.           in the History section of the Document).  You may use the
  399.           same title as a previous version if the original publisher of
  400.           that version gives permission.
  401.  
  402.        B. List on the Title Page, as authors, one or more persons or
  403.           entities responsible for authorship of the modifications in
  404.           the Modified Version, together with at least five of the
  405.           principal authors of the Document (all of its principal
  406.           authors, if it has fewer than five), unless they release you
  407.           from this requirement.
  408.  
  409.        C. State on the Title page the name of the publisher of the
  410.           Modified Version, as the publisher.
  411.  
  412.        D. Preserve all the copyright notices of the Document.
  413.  
  414.        E. Add an appropriate copyright notice for your modifications
  415.           adjacent to the other copyright notices.
  416.  
  417.        F. Include, immediately after the copyright notices, a license
  418.           notice giving the public permission to use the Modified
  419.           Version under the terms of this License, in the form shown in
  420.           the Addendum below.
  421.  
  422.        G. Preserve in that license notice the full lists of Invariant
  423.           Sections and required Cover Texts given in the Document's
  424.           license notice.
  425.  
  426.        H. Include an unaltered copy of this License.
  427.  
  428.        I. Preserve the section Entitled "History", Preserve its Title,
  429.           and add to it an item stating at least the title, year, new
  430.           authors, and publisher of the Modified Version as given on
  431.           the Title Page.  If there is no section Entitled "History" in
  432.           the Document, create one stating the title, year, authors,
  433.           and publisher of the Document as given on its Title Page,
  434.           then add an item describing the Modified Version as stated in
  435.           the previous sentence.
  436.  
  437.        J. Preserve the network location, if any, given in the Document
  438.           for public access to a Transparent copy of the Document, and
  439.           likewise the network locations given in the Document for
  440.           previous versions it was based on.  These may be placed in
  441.           the "History" section.  You may omit a network location for a
  442.           work that was published at least four years before the
  443.           Document itself, or if the original publisher of the version
  444.           it refers to gives permission.
  445.  
  446.        K. For any section Entitled "Acknowledgements" or "Dedications",
  447.           Preserve the Title of the section, and preserve in the
  448.           section all the substance and tone of each of the contributor
  449.           acknowledgements and/or dedications given therein.
  450.  
  451.        L. Preserve all the Invariant Sections of the Document,
  452.           unaltered in their text and in their titles.  Section numbers
  453.           or the equivalent are not considered part of the section
  454.           titles.
  455.  
  456.        M. Delete any section Entitled "Endorsements".  Such a section
  457.           may not be included in the Modified Version.
  458.  
  459.        N. Do not retitle any existing section to be Entitled
  460.           "Endorsements" or to conflict in title with any Invariant
  461.           Section.
  462.  
  463.        O. Preserve any Warranty Disclaimers.
  464.  
  465.      If the Modified Version includes new front-matter sections or
  466.      appendices that qualify as Secondary Sections and contain no
  467.      material copied from the Document, you may at your option
  468.      designate some or all of these sections as invariant.  To do this,
  469.      add their titles to the list of Invariant Sections in the Modified
  470.      Version's license notice.  These titles must be distinct from any
  471.      other section titles.
  472.  
  473.      You may add a section Entitled "Endorsements", provided it contains
  474.      nothing but endorsements of your Modified Version by various
  475.      parties--for example, statements of peer review or that the text
  476.      has been approved by an organization as the authoritative
  477.      definition of a standard.
  478.  
  479.      You may add a passage of up to five words as a Front-Cover Text,
  480.      and a passage of up to 25 words as a Back-Cover Text, to the end
  481.      of the list of Cover Texts in the Modified Version.  Only one
  482.      passage of Front-Cover Text and one of Back-Cover Text may be
  483.      added by (or through arrangements made by) any one entity.  If the
  484.      Document already includes a cover text for the same cover,
  485.      previously added by you or by arrangement made by the same entity
  486.      you are acting on behalf of, you may not add another; but you may
  487.      replace the old one, on explicit permission from the previous
  488.      publisher that added the old one.
  489.  
  490.      The author(s) and publisher(s) of the Document do not by this
  491.      License give permission to use their names for publicity for or to
  492.      assert or imply endorsement of any Modified Version.
  493.  
  494.   5. COMBINING DOCUMENTS
  495.  
  496.      You may combine the Document with other documents released under
  497.      this License, under the terms defined in section 4 above for
  498.      modified versions, provided that you include in the combination
  499.      all of the Invariant Sections of all of the original documents,
  500.      unmodified, and list them all as Invariant Sections of your
  501.      combined work in its license notice, and that you preserve all
  502.      their Warranty Disclaimers.
  503.  
  504.      The combined work need only contain one copy of this License, and
  505.      multiple identical Invariant Sections may be replaced with a single
  506.      copy.  If there are multiple Invariant Sections with the same name
  507.      but different contents, make the title of each such section unique
  508.      by adding at the end of it, in parentheses, the name of the
  509.      original author or publisher of that section if known, or else a
  510.      unique number.  Make the same adjustment to the section titles in
  511.      the list of Invariant Sections in the license notice of the
  512.      combined work.
  513.  
  514.      In the combination, you must combine any sections Entitled
  515.      "History" in the various original documents, forming one section
  516.      Entitled "History"; likewise combine any sections Entitled
  517.      "Acknowledgements", and any sections Entitled "Dedications".  You
  518.      must delete all sections Entitled "Endorsements."
  519.  
  520.   6. COLLECTIONS OF DOCUMENTS
  521.  
  522.      You may make a collection consisting of the Document and other
  523.      documents released under this License, and replace the individual
  524.      copies of this License in the various documents with a single copy
  525.      that is included in the collection, provided that you follow the
  526.      rules of this License for verbatim copying of each of the
  527.      documents in all other respects.
  528.  
  529.      You may extract a single document from such a collection, and
  530.      distribute it individually under this License, provided you insert
  531.      a copy of this License into the extracted document, and follow
  532.      this License in all other respects regarding verbatim copying of
  533.      that document.
  534.  
  535.   7. AGGREGATION WITH INDEPENDENT WORKS
  536.  
  537.      A compilation of the Document or its derivatives with other
  538.      separate and independent documents or works, in or on a volume of
  539.      a storage or distribution medium, is called an "aggregate" if the
  540.      copyright resulting from the compilation is not used to limit the
  541.      legal rights of the compilation's users beyond what the individual
  542.      works permit.  When the Document is included an aggregate, this
  543.      License does not apply to the other works in the aggregate which
  544.      are not themselves derivative works of the Document.
  545.  
  546.      If the Cover Text requirement of section 3 is applicable to these
  547.      copies of the Document, then if the Document is less than one half
  548.      of the entire aggregate, the Document's Cover Texts may be placed
  549.      on covers that bracket the Document within the aggregate, or the
  550.      electronic equivalent of covers if the Document is in electronic
  551.      form.  Otherwise they must appear on printed covers that bracket
  552.      the whole aggregate.
  553.  
  554.   8. TRANSLATION
  555.  
  556.      Translation is considered a kind of modification, so you may
  557.      distribute translations of the Document under the terms of section
  558.      4.  Replacing Invariant Sections with translations requires special
  559.      permission from their copyright holders, but you may include
  560.      translations of some or all Invariant Sections in addition to the
  561.      original versions of these Invariant Sections.  You may include a
  562.      translation of this License, and all the license notices in the
  563.      Document, and any Warrany Disclaimers, provided that you also
  564.      include the original English version of this License and the
  565.      original versions of those notices and disclaimers.  In case of a
  566.      disagreement between the translation and the original version of
  567.      this License or a notice or disclaimer, the original version will
  568.      prevail.
  569.  
  570.      If a section in the Document is Entitled "Acknowledgements",
  571.      "Dedications", or "History", the requirement (section 4) to
  572.      Preserve its Title (section 1) will typically require changing the
  573.      actual title.
  574.  
  575.   9. TERMINATION
  576.  
  577.      You may not copy, modify, sublicense, or distribute the Document
  578.      except as expressly provided for under this License.  Any other
  579.      attempt to copy, modify, sublicense or distribute the Document is
  580.      void, and will automatically terminate your rights under this
  581.      License.  However, parties who have received copies, or rights,
  582.      from you under this License will not have their licenses
  583.      terminated so long as such parties remain in full compliance.
  584.  
  585.  10. FUTURE REVISIONS OF THIS LICENSE
  586.  
  587.      The Free Software Foundation may publish new, revised versions of
  588.      the GNU Free Documentation License from time to time.  Such new
  589.      versions will be similar in spirit to the present version, but may
  590.      differ in detail to address new problems or concerns.  See
  591.      `http://www.gnu.org/copyleft/'.
  592.  
  593.      Each version of the License is given a distinguishing version
  594.      number.  If the Document specifies that a particular numbered
  595.      version of this License "or any later version" applies to it, you
  596.      have the option of following the terms and conditions either of
  597.      that specified version or of any later version that has been
  598.      published (not as a draft) by the Free Software Foundation.  If
  599.      the Document does not specify a version number of this License,
  600.      you may choose any version ever published (not as a draft) by the
  601.      Free Software Foundation.
  602.  
  603. ADDENDUM: How to use this License for your documents
  604. ====================================================
  605.  
  606.    To use this License in a document you have written, include a copy of
  607. the License in the document and put the following copyright and license
  608. notices just after the title page:
  609.  
  610.        Copyright (C)  YEAR  YOUR NAME.
  611.        Permission is granted to copy, distribute and/or modify this document
  612.        under the terms of the GNU Free Documentation License, Version 1.2
  613.        or any later version published by the Free Software Foundation;
  614.        with no Invariant Sections, no Front-Cover Texts, and no Back-Cover Texts.
  615.        A copy of the license is included in the section entitled ``GNU
  616.        Free Documentation License''.
  617.  
  618.    If you have Invariant Sections, Front-Cover Texts and Back-Cover
  619. Texts, replace the "with...Texts." line with this:
  620.  
  621.          with the Invariant Sections being LIST THEIR TITLES, with
  622.          the Front-Cover Texts being LIST, and with the Back-Cover Texts
  623.          being LIST.
  624.  
  625.    If you have Invariant Sections without Cover Texts, or some other
  626. combination of the three, merge those two alternatives to suit the
  627. situation.
  628.  
  629.    If your document contains nontrivial examples of program code, we
  630. recommend releasing these examples in parallel under your choice of
  631. free software license, such as the GNU General Public License, to
  632. permit their use in free software.
  633.